Typed lambda calculi and applications - 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings
- Författare
- Martin Hofmann Spain) International Conference on Typed Lambda Calculi and Applications 2003 : Valencia
- (Martin Hofmann (ed.)., Includes bibliographical references and index.)
- Genre
- Ej skönlitteratur, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2003 | Tyskland, Berlin | viii, 315 sidor. ill. |